this.visibleTarget = true;
this._activationTime = Date.now() / 1000;
- // All the the actors in the window group are completely obscured,
- // hiding the group holding them while the Overview is displayed greatly
- // increases performance of the Overview especially when there are many
- // windows visible.
- //
- // If we switched to displaying the actors in the Overview rather than
- // clones of them, this would obviously no longer be necessary.
- //
- // Disable unredirection while in the overview
Meta.disable_unredirect_for_screen(global.screen);
this._viewSelector.show();